141. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
142. Fuzzy Decision Procedures with Binary Relations :
پدیدآورنده : by Leonid Kitainik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.
رده :
QA279
.
4
B954
1993
143. Fuzzy Hardware
پدیدآورنده : edited by Abraham Kandel, Gideon Langholz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.
144. Fuzzy Logic
پدیدآورنده : by Giangiacomo Gerla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
145. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
146. Fuzzy Set Theory-and Its Applications
پدیدآورنده : by H.-J. Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
147. Fuzzy Sets in Approximate Reasoning and Information Systems
پدیدآورنده : edited by James C. Bezdek, Didier Dubois, Henri Prade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
148. Fuzzy Sets in Decision Analysis, Operations Research and Statistics
پدیدآورنده : edited by Roman Słowiński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
149. Fuzzy Sets in Information Retrieval and Cluster Analysis
پدیدآورنده : by Sadaaki Miyamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
رده :
QA248
.
B973
1990
150. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
151. Gale encyclopedia of world history :
پدیدآورنده : editori
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
152. Geometric Calculus
پدیدآورنده : by Giuseppe Peano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
153. Geometry of Subanalytic and Semialgebraic Sets
پدیدآورنده : by Masahiro Shiota.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
154. Granular Computing
پدیدآورنده : by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
155. Handbook of Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
156. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
157. How to prove it :
پدیدآورنده : / Daniel J. Velleman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
E-BOOK
158. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
پدیدآورنده : International Summer Institute and Logic Colloquium, University of Kiel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
159. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, K. Potthoff
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
499
160. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by G. H. Muller, A. Oberschelp, and K. Potthoff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
Vol
.
499
